A universal property of the monoidal 2-category of cospans of finite linear orders and surjections
نویسندگان
چکیده
We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain 2-dimensional separable algebra condition.
منابع مشابه
A Universal Property of the Monoidal 2-category of Cospans of Ordinals and Surjections
We prove that the monoidal 2-category of cospans of ordinals and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain 2-dimensional separable algebra condition.
متن کاملA Universal Investigation of $n$-representations of $n$-quivers
noindent We have two goals in this paper. First, we investigate and construct cofree coalgebras over $n$-representations of quivers, limits and colimits of $n$-representations of quivers, and limits and colimits of coalgebras in the monoidal categories of $n$-representations of quivers. Second, for any given quivers $mathit{Q}_1$,$mathit{Q}_2$,..., $mathit{Q}_n$, we construct a new quiver $math...
متن کاملGeneric Commutative Separable Algebras and Cospans of Graphs
We show that the generic symmetric monoidal category with a commutative separable algebra which has a Σ-family of actions is the category of cospans of finite Σ-labelled graphs restricted to finite sets as objects, thus providing a syntax for automata on the alphabet Σ. We use this result to produce semantic functors for Σautomata.
متن کاملA Compositional Framework for Passive Linear Networks
This paper centres around two dagger compact categories and the relationship between them. The first is a category whose morphisms are electrical circuits comprising resistors, inductors, and capacitors, with marked input and output terminals. To understand this category, we begin by recalling Ohm’s law and Kirchhoff’s laws, and show that we may also understand these circuits through a formal m...
متن کاملThe symmetric monoidal closed category of cpo $M$-sets
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
متن کامل